Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
نویسندگان
چکیده
We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts.
منابع مشابه
Automatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملModel Driven Production of Domain-Specific Modeling Tools
Models built using visual forms which are representations of the domain concepts are easier to be understood and expressed by the people who work in this domain. Many projects produce modeling environments that offer only the domain concepts to the user but with a single graphic view that the user has to be satisfied with. In this paper, we present our framework for producing domain-specific mo...
متن کاملDomain-Specific Modeling - Enabling Full Code Generation
domain-specific modeling: enabling full code generation domain specific modeling enabling full code generation domain specific modeling enabling full code generation domain specific modeling enabling full code generation use of domain specific modeling with model-based testing using domain-specific modeling for design and verification domain-specific modeling as an enabling technology for domai...
متن کاملTowards automated model driven development with model transformation and domain specific languages
Modeling plays a very important role in dealing with the complexity of software systems during their development and maintenance processes. As more complex models need to be developed, the importance of transformations between models grows. Model transformations allow the definition and implementation of operations on models, also provide a chain that can enable the automated development of a s...
متن کاملAutomatic Model Generation Strategies for Model Transformation Testing
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources such as well-formedness rules, transformation preconditions, and test strategies. Manually specifying such models is tedious since models must simultaneously conform to several meta-constraints. We propose automatic mod...
متن کامل